[next] [prev] [prev-tail] [tail] [up]

2.2.2 Integrals 101 to 200

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

20 20 22 20 22 22 17 22 22

N.S.

1 1.00 1.10 1.00 1.10 1.10 0.85 1.10 1.10

time (sec)

N/A 0.184 0.644 0.063 0.708 0.262 0.432 0.306 5.975

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

20 20 22 20 2505 48 19 22 22

N.S.

1 1.00 1.10 1.00 125.25 2.40 0.95 1.10 1.10

time (sec)

N/A 0.181 1.206 0.321 3.702 0.286 1.464 0.360 6.123

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

78 76 70 73 86 66 0 400 0

N.S.

1 0.97 0.90 0.94 1.10 0.85 0.00 5.13 0.00

time (sec)

N/A 0.614 0.053 0.512 0.255 0.258 0.000 0.300 0.000

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

60 55 52 57 76 56 0 251 0

N.S.

1 0.92 0.87 0.95 1.27 0.93 0.00 4.18 0.00

time (sec)

N/A 0.519 0.038 0.404 0.237 0.292 0.000 0.296 0.000

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 34 32 38 58 34 0 132 0

N.S.

1 1.06 1.00 1.19 1.81 1.06 0.00 4.12 0.00

time (sec)

N/A 0.405 0.019 0.235 0.250 0.308 0.000 0.291 0.000

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 21 22 43 21 17 42 0

N.S.

1 1.00 1.00 1.05 2.05 1.00 0.81 2.00 0.00

time (sec)

N/A 0.231 0.036 0.221 0.249 0.294 0.426 0.300 0.000

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

12 12 12 13 12 14 14 14 12

N.S.

1 1.00 1.00 1.08 1.00 1.17 1.17 1.17 1.00

time (sec)

N/A 0.197 0.013 0.089 0.189 0.265 0.286 0.304 5.934

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 29 29 34 50 33 29 48 29

N.S.

1 1.00 1.00 1.17 1.72 1.14 1.00 1.66 1.00

time (sec)

N/A 0.261 0.004 0.226 0.237 0.247 0.380 0.286 6.035

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 49 38 46 51 44 46 106 46

N.S.

1 1.09 0.84 1.02 1.13 0.98 1.02 2.36 1.02

time (sec)

N/A 0.344 0.041 0.281 0.234 0.267 0.510 0.302 6.152

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 71 61 55 50 52 61 191 64

N.S.

1 1.16 1.00 0.90 0.82 0.85 1.00 3.13 1.05

time (sec)

N/A 0.449 0.006 0.260 0.231 0.247 0.715 0.313 5.993

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 97 86 96 99 96 0 442 0

N.S.

1 1.00 0.89 0.99 1.02 0.99 0.00 4.56 0.00

time (sec)

N/A 0.356 0.123 0.308 0.248 0.276 0.000 0.317 0.000

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 67 65 76 87 77 0 283 0

N.S.

1 1.03 1.00 1.17 1.34 1.18 0.00 4.35 0.00

time (sec)

N/A 0.581 0.113 0.290 0.234 0.259 0.000 0.330 0.000

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

41 41 41 52 66 45 0 153 0

N.S.

1 1.00 1.00 1.27 1.61 1.10 0.00 3.73 0.00

time (sec)

N/A 0.431 0.064 0.250 0.233 0.265 0.000 0.316 0.000

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A A B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

37 37 32 36 51 31 31 65 0

N.S.

1 1.00 0.86 0.97 1.38 0.84 0.84 1.76 0.00

time (sec)

N/A 0.212 0.047 0.283 0.229 0.256 1.045 0.332 0.000

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 31 32 23 25 34 262 29 22

N.S.

1 1.00 1.03 0.74 0.81 1.10 8.45 0.94 0.71

time (sec)

N/A 0.214 0.043 0.192 0.190 0.266 1.018 0.317 5.923

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 51 43 42 68 60 391 77 41

N.S.

1 1.00 0.84 0.82 1.33 1.18 7.67 1.51 0.80

time (sec)

N/A 0.234 0.056 0.306 0.237 0.269 1.300 0.314 5.978

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 92 54 56 69 72 654 153 64

N.S.

1 1.06 0.62 0.64 0.79 0.83 7.52 1.76 0.74

time (sec)

N/A 0.323 0.092 0.392 0.228 0.256 1.769 0.306 6.037

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

107 112 65 67 68 90 726 255 84

N.S.

1 1.05 0.61 0.63 0.64 0.84 6.79 2.38 0.79

time (sec)

N/A 0.348 0.135 0.437 0.228 0.287 2.483 0.308 6.226

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 88 81 59 127 74 0 0 0

N.S.

1 1.10 1.01 0.74 1.59 0.92 0.00 0.00 0.00

time (sec)

N/A 0.319 0.091 0.173 0.237 0.262 0.000 0.000 0.000

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 25 22 43 21 0 0 0

N.S.

1 1.00 1.00 0.88 1.72 0.84 0.00 0.00 0.00

time (sec)

N/A 0.241 0.037 0.184 0.229 0.311 0.000 0.000 0.000

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 75 61 47 98 64 0 0 55

N.S.

1 1.00 0.81 0.63 1.31 0.85 0.00 0.00 0.73

time (sec)

N/A 0.273 0.072 0.181 0.237 0.276 0.000 0.000 6.281

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 15 14 13 17 20 17 13

N.S.

1 1.00 1.00 0.93 0.87 1.13 1.33 1.13 0.87

time (sec)

N/A 0.197 0.013 0.130 0.185 0.263 0.493 0.307 5.932

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 100 89 65 74 85 0 0 0

N.S.

1 1.03 0.92 0.67 0.76 0.88 0.00 0.00 0.00

time (sec)

N/A 0.336 0.112 0.232 0.233 0.272 0.000 0.000 0.000

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

8 8 8 7 6 6 8 6 6

N.S.

1 1.00 1.00 0.88 0.75 0.75 1.00 0.75 0.75

time (sec)

N/A 0.189 0.010 0.041 0.177 0.272 0.103 0.305 5.937

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

21 18 23 15 15 15 29 15 14

N.S.

1 0.86 1.10 0.71 0.71 0.71 1.38 0.71 0.67

time (sec)

N/A 0.215 0.020 0.309 0.190 0.258 0.172 0.291 6.111

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 22 22 17 16 16 20 16 16

N.S.

1 1.00 1.00 0.77 0.73 0.73 0.91 0.73 0.73

time (sec)

N/A 0.231 0.018 0.069 0.182 0.263 0.103 0.299 5.974

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 76 41 19 30 37 379 30 34

N.S.

1 1.10 0.59 0.28 0.43 0.54 5.49 0.43 0.49

time (sec)

N/A 0.275 0.035 0.218 0.187 0.255 0.452 0.302 6.199

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

87 98 62 59 47 51 71 47 58

N.S.

1 1.13 0.71 0.68 0.54 0.59 0.82 0.54 0.67

time (sec)

N/A 0.478 0.040 0.364 0.182 0.249 3.359 0.293 6.207

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

18 18 20 18 20 20 17 20 20

N.S.

1 1.00 1.11 1.00 1.11 1.11 0.94 1.11 1.11

time (sec)

N/A 0.180 1.030 0.101 1.314 0.255 11.578 0.962 6.018

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

20 20 22 20 22 22 19 22 22

N.S.

1 1.00 1.10 1.00 1.10 1.10 0.95 1.10 1.10

time (sec)

N/A 0.187 1.191 0.094 1.426 0.283 34.564 6.070 5.859

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

92 92 88 0 0 0 0 0 0

N.S.

1 1.00 0.96 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.333 0.122 0.000 0.000 0.000 0.000 0.000 0.000

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 22 24 24 20 24 24

N.S.

1 1.00 1.09 1.00 1.09 1.09 0.91 1.09 1.09

time (sec)

N/A 0.253 1.176 0.124 1.335 0.284 9.809 0.943 5.951

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

132 132 148 0 0 0 0 0 0

N.S.

1 1.00 1.12 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.415 0.583 0.000 0.000 0.000 0.000 0.000 0.000

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 24 26 26 22 26 26

N.S.

1 1.00 1.08 1.00 1.08 1.08 0.92 1.08 1.08

time (sec)

N/A 0.257 1.290 0.124 1.427 0.292 26.359 5.970 6.119

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 23 24 91 23 0 0 0

N.S.

1 1.00 0.92 0.96 3.64 0.92 0.00 0.00 0.00

time (sec)

N/A 0.248 0.049 0.244 0.326 0.272 0.000 0.000 0.000

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 37 40 100 36 0 0 0

N.S.

1 1.00 0.86 0.93 2.33 0.84 0.00 0.00 0.00

time (sec)

N/A 0.240 0.069 0.427 0.323 0.267 0.000 0.000 0.000

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

67 67 54 52 181 50 0 0 0

N.S.

1 1.00 0.81 0.78 2.70 0.75 0.00 0.00 0.00

time (sec)

N/A 0.278 0.083 0.525 0.408 0.261 0.000 0.000 0.000

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

79 79 66 66 189 62 0 0 0

N.S.

1 1.00 0.84 0.84 2.39 0.78 0.00 0.00 0.00

time (sec)

N/A 0.277 0.080 1.823 0.412 0.292 0.000 0.000 0.000

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 87 95 74 0 0 0 0 0

N.S.

1 1.00 1.09 0.85 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.221 0.061 0.172 0.000 0.000 0.000 0.000 0.000

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

100 100 94 0 0 0 0 0 0

N.S.

1 1.00 0.94 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.261 0.166 0.000 0.000 0.000 0.000 0.000 0.000

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

187 187 177 0 0 0 0 0 0

N.S.

1 1.00 0.95 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.300 0.206 0.000 0.000 0.000 0.000 0.000 0.000

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

109 109 118 110 0 0 0 0 0

N.S.

1 1.00 1.08 1.01 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.272 0.146 0.256 0.000 0.000 0.000 0.000 0.000

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

139 139 129 0 0 0 0 0 0

N.S.

1 1.00 0.93 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.355 0.360 0.000 0.000 0.000 0.000 0.000 0.000

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

237 237 225 0 0 0 0 0 0

N.S.

1 1.00 0.95 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.426 0.400 0.000 0.000 0.000 0.000 0.000 0.000

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 33 30 36 32 32 56 0 0

N.S.

1 0.94 0.86 1.03 0.91 0.91 1.60 0.00 0.00

time (sec)

N/A 0.265 0.051 0.313 0.187 0.259 3.384 0.000 0.000

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 32 29 35 29 29 56 0 0

N.S.

1 0.94 0.85 1.03 0.85 0.85 1.65 0.00 0.00

time (sec)

N/A 0.266 0.047 0.487 0.205 0.283 3.354 0.000 0.000

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 42 47 44 0 47 0 0 0

N.S.

1 0.91 1.02 0.96 0.00 1.02 0.00 0.00 0.00

time (sec)

N/A 0.421 0.054 0.356 0.000 0.293 0.000 0.000 0.000

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

67 67 58 66 0 53 0 0 0

N.S.

1 1.00 0.87 0.99 0.00 0.79 0.00 0.00 0.00

time (sec)

N/A 0.301 0.097 0.874 0.000 0.281 0.000 0.000 0.000

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

113 113 95 99 0 95 0 0 0

N.S.

1 1.00 0.84 0.88 0.00 0.84 0.00 0.00 0.00

time (sec)

N/A 0.396 0.130 4.410 0.000 0.275 0.000 0.000 0.000

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

78 65 68 65 0 68 0 0 0

N.S.

1 0.83 0.87 0.83 0.00 0.87 0.00 0.00 0.00

time (sec)

N/A 0.518 0.092 0.432 0.000 0.299 0.000 0.000 0.000

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

95 95 82 89 0 88 0 0 0

N.S.

1 1.00 0.86 0.94 0.00 0.93 0.00 0.00 0.00

time (sec)

N/A 0.336 0.126 0.912 0.000 0.285 0.000 0.000 0.000

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

165 165 141 144 0 143 0 0 0

N.S.

1 1.00 0.85 0.87 0.00 0.87 0.00 0.00 0.00

time (sec)

N/A 0.474 0.201 4.381 0.000 0.292 0.000 0.000 0.000

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B C A F C B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

223 209 173 586 974 255 0 507 231

N.S.

1 0.94 0.78 2.63 4.37 1.14 0.00 2.27 1.04

time (sec)

N/A 0.411 0.674 1.145 1.200 0.301 0.000 0.360 6.305

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B C A F C B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

150 142 117 291 564 162 0 333 136

N.S.

1 0.95 0.78 1.94 3.76 1.08 0.00 2.22 0.91

time (sec)

N/A 0.305 0.420 0.615 0.809 0.266 0.000 0.354 0.216

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B C A F C B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 67 66 120 271 80 0 235 58

N.S.

1 0.97 0.96 1.74 3.93 1.16 0.00 3.41 0.84

time (sec)

N/A 0.231 0.156 0.394 0.495 0.261 0.000 0.350 5.980

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A F C B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 39 39 42 53 45 0 143 41

N.S.

1 1.00 1.00 1.08 1.36 1.15 0.00 3.67 1.05

time (sec)

N/A 0.171 0.016 0.073 0.194 0.262 0.000 0.307 6.270

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

18 18 20 18 20 31 29 20 20

N.S.

1 1.00 1.11 1.00 1.11 1.72 1.61 1.11 1.11

time (sec)

N/A 0.172 2.488 0.085 0.380 0.279 0.900 0.395 6.308

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

18 18 20 18 20 42 31 20 20

N.S.

1 1.00 1.11 1.00 1.11 2.33 1.72 1.11 1.11

time (sec)

N/A 0.173 4.478 0.076 0.386 0.270 2.289 2.555 6.673

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

337 311 440 277 0 398 0 0 0

N.S.

1 0.92 1.31 0.82 0.00 1.18 0.00 0.00 0.00

time (sec)

N/A 0.524 6.427 1.095 0.000 0.292 0.000 0.000 0.000

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

233 216 265 196 0 262 0 0 0

N.S.

1 0.93 1.14 0.84 0.00 1.12 0.00 0.00 0.00

time (sec)

N/A 0.395 0.880 0.800 0.000 0.306 0.000 0.000 0.000

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

120 112 95 101 0 130 0 0 0

N.S.

1 0.93 0.79 0.84 0.00 1.08 0.00 0.00 0.00

time (sec)

N/A 0.287 0.326 0.464 0.000 0.271 0.000 0.000 0.000

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

60 59 60 52 0 73 0 0 52

N.S.

1 0.98 1.00 0.87 0.00 1.22 0.00 0.00 0.87

time (sec)

N/A 0.239 0.025 0.223 0.000 0.272 0.000 0.000 6.936

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

18 18 20 18 20 31 26 20 20

N.S.

1 1.00 1.11 1.00 1.11 1.72 1.44 1.11 1.11

time (sec)

N/A 0.172 1.085 0.100 0.356 0.302 18.534 0.331 7.359

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

18 18 20 18 20 42 0 20 20

N.S.

1 1.00 1.11 1.00 1.11 2.33 0.00 1.11 1.11

time (sec)

N/A 0.172 16.817 0.111 0.373 0.304 0.000 0.474 13.261

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C C A F C F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

341 321 218 690 1824 328 0 521 0

N.S.

1 0.94 0.64 2.02 5.35 0.96 0.00 1.53 0.00

time (sec)

N/A 0.554 1.841 1.050 1.837 0.336 0.000 0.507 0.000

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C C A F C F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

256 242 151 438 1038 208 0 347 0

N.S.

1 0.95 0.59 1.71 4.05 0.81 0.00 1.36 0.00

time (sec)

N/A 0.413 1.144 0.776 1.053 0.337 0.000 0.472 0.000

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C C A F C F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

122 117 114 209 483 131 0 249 0

N.S.

1 0.96 0.93 1.71 3.96 1.07 0.00 2.04 0.00

time (sec)

N/A 0.285 0.435 0.283 0.608 0.277 0.000 0.451 0.000

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C C A F C B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 83 67 87 69 89 0 151 95

N.S.

1 1.00 0.81 1.05 0.83 1.07 0.00 1.82 1.14

time (sec)

N/A 0.255 0.039 0.108 0.205 0.294 0.000 0.338 0.065

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

20 20 22 20 22 32 31 22 22

N.S.

1 1.00 1.10 1.00 1.10 1.60 1.55 1.10 1.10

time (sec)

N/A 0.171 5.597 0.104 0.422 0.287 0.880 0.596 6.182

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

20 20 22 20 22 43 32 22 22

N.S.

1 1.00 1.10 1.00 1.10 2.15 1.60 1.10 1.10

time (sec)

N/A 0.173 6.031 0.109 0.425 0.251 2.220 6.312 6.632

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

434 414 353 0 0 591 0 0 0

N.S.

1 0.95 0.81 0.00 0.00 1.36 0.00 0.00 0.00

time (sec)

N/A 0.475 13.941 0.000 0.000 0.110 0.000 0.000 0.000

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

280 269 300 0 0 409 0 0 0

N.S.

1 0.96 1.07 0.00 0.00 1.46 0.00 0.00 0.00

time (sec)

N/A 0.372 10.744 0.000 0.000 0.100 0.000 0.000 0.000

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

235 227 381 0 0 263 0 0 0

N.S.

1 0.97 1.62 0.00 0.00 1.12 0.00 0.00 0.00

time (sec)

N/A 0.310 9.634 0.000 0.000 0.099 0.000 0.000 0.000

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

107 107 115 0 0 113 0 0 0

N.S.

1 1.00 1.07 0.00 0.00 1.06 0.00 0.00 0.00

time (sec)

N/A 0.233 0.096 0.000 0.000 0.120 0.000 0.000 0.000

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

20 20 22 20 22 44 44 22 22

N.S.

1 1.00 1.10 1.00 1.10 2.20 2.20 1.10 1.10

time (sec)

N/A 0.173 15.280 0.115 0.478 0.259 0.971 2.773 6.531

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

20 20 22 20 22 55 46 22 22

N.S.

1 1.00 1.10 1.00 1.10 2.75 2.30 1.10 1.10

time (sec)

N/A 0.175 43.558 0.120 0.499 0.260 2.511 3.954 6.438

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

371 345 467 274 0 392 0 0 0

N.S.

1 0.93 1.26 0.74 0.00 1.06 0.00 0.00 0.00

time (sec)

N/A 0.603 1.636 0.984 0.000 0.286 0.000 0.000 0.000

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

198 184 242 150 0 233 0 0 0

N.S.

1 0.93 1.22 0.76 0.00 1.18 0.00 0.00 0.00

time (sec)

N/A 0.396 0.694 0.622 0.000 0.287 0.000 0.000 0.000

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

105 110 100 80 0 137 0 0 0

N.S.

1 1.05 0.95 0.76 0.00 1.30 0.00 0.00 0.00

time (sec)

N/A 0.339 0.116 0.263 0.000 0.316 0.000 0.000 0.000

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

20 20 22 20 22 51 27 22 22

N.S.

1 1.00 1.10 1.00 1.10 2.55 1.35 1.10 1.10

time (sec)

N/A 0.174 2.367 0.145 0.556 0.266 18.540 0.908 6.718

Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

20 20 22 20 22 62 0 22 22

N.S.

1 1.00 1.10 1.00 1.10 3.10 0.00 1.10 1.10

time (sec)

N/A 0.173 27.212 0.148 0.557 0.274 0.000 1.251 9.764

Problem 182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F B F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

330 313 620 0 0 576 0 0 0

N.S.

1 0.95 1.88 0.00 0.00 1.75 0.00 0.00 0.00

time (sec)

N/A 0.441 2.572 0.000 0.000 0.114 0.000 0.000 0.000

Problem 183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F B F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

235 227 705 0 0 367 0 0 0

N.S.

1 0.97 3.00 0.00 0.00 1.56 0.00 0.00 0.00

time (sec)

N/A 0.299 1.357 0.000 0.000 0.104 0.000 0.000 0.000

Problem 184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F B F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

107 107 203 0 0 185 0 0 0

N.S.

1 1.00 1.90 0.00 0.00 1.73 0.00 0.00 0.00

time (sec)

N/A 0.232 0.301 0.000 0.000 0.105 0.000 0.000 0.000

Problem 185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

20 20 22 20 22 74 0 22 22

N.S.

1 1.00 1.10 1.00 1.10 3.70 0.00 1.10 1.10

time (sec)

N/A 0.174 3.186 0.148 0.676 0.263 0.000 5.108 7.234

Problem 186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

20 20 22 20 22 85 0 22 22

N.S.

1 1.00 1.10 1.00 1.10 4.25 0.00 1.10 1.10

time (sec)

N/A 0.173 21.854 0.161 0.707 0.281 0.000 7.273 14.050

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

410 414 138 1161 1101 196 529 701 0

N.S.

1 1.01 0.34 2.83 2.69 0.48 1.29 1.71 0.00

time (sec)

N/A 0.548 1.128 0.415 0.249 0.266 0.384 0.304 0.000

Problem 188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

185 189 85 347 348 86 221 218 0

N.S.

1 1.02 0.46 1.88 1.88 0.46 1.19 1.18 0.00

time (sec)

N/A 0.327 0.412 0.370 0.205 0.269 0.247 0.317 0.000

Problem 189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 52 50 61 62 44 65 44 43

N.S.

1 0.96 0.93 1.13 1.15 0.81 1.20 0.81 0.80

time (sec)

N/A 0.268 0.043 0.124 0.194 0.308 0.206 0.293 6.078

Problem 190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

238 258 238 793 0 250 0 0 0

N.S.

1 1.08 1.00 3.33 0.00 1.05 0.00 0.00 0.00

time (sec)

N/A 0.859 1.372 0.249 0.000 0.285 0.000 0.000 0.000

Problem 191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

339 355 397 1831 0 416 0 0 0

N.S.

1 1.05 1.17 5.40 0.00 1.23 0.00 0.00 0.00

time (sec)

N/A 0.991 2.309 0.300 0.000 0.281 0.000 0.000 0.000

Problem 192

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

382 366 419 0 694 366 0 0 0

N.S.

1 0.96 1.10 0.00 1.82 0.96 0.00 0.00 0.00

time (sec)

N/A 0.434 2.110 0.000 0.525 0.117 0.000 0.000 0.000

Problem 193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F A A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

291 281 705 0 375 223 0 0 0

N.S.

1 0.97 2.42 0.00 1.29 0.77 0.00 0.00 0.00

time (sec)

N/A 0.337 1.787 0.000 0.364 0.104 0.000 0.000 0.000

Problem 194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

115 114 123 0 112 75 0 0 0

N.S.

1 0.99 1.07 0.00 0.97 0.65 0.00 0.00 0.00

time (sec)

N/A 0.265 0.109 0.000 0.216 0.105 0.000 0.000 0.000

Problem 195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 20 22 29 34 22 22

N.S.

1 1.00 1.09 0.91 1.00 1.32 1.55 1.00 1.00

time (sec)

N/A 0.186 13.568 0.097 0.681 0.268 6.106 0.436 6.324

Problem 196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 20 22 40 36 22 22

N.S.

1 1.00 1.09 0.91 1.00 1.82 1.64 1.00 1.00

time (sec)

N/A 0.174 17.216 0.096 0.890 0.262 41.574 0.486 6.290

Problem 197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A C A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

611 631 557 696 877 393 0 6606 0

N.S.

1 1.03 0.91 1.14 1.44 0.64 0.00 10.81 0.00

time (sec)

N/A 0.883 1.471 1.623 0.660 0.314 0.000 0.640 0.000

Problem 198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

301 318 367 295 407 203 0 2158 0

N.S.

1 1.06 1.22 0.98 1.35 0.67 0.00 7.17 0.00

time (sec)

N/A 0.513 0.517 1.281 0.427 0.276 0.000 0.428 0.000

Problem 199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

94 94 99 84 124 104 0 413 0

N.S.

1 1.00 1.05 0.89 1.32 1.11 0.00 4.39 0.00

time (sec)

N/A 0.528 0.055 0.780 0.284 0.275 0.000 0.351 0.000

Problem 200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F A F C F F F(-1)

verified

N/A Yes N/A Yes TBD TBD TBD TBD TBD

size

276 296 0 441 0 308 0 0 0

N.S.

1 1.07 0.00 1.60 0.00 1.12 0.00 0.00 0.00

time (sec)

N/A 1.112 0.000 0.937 0.000 0.330 0.000 0.000 0.000

[next] [prev] [prev-tail] [front] [up]